Puente entre conocimiento matemático bibliográfico y formalizado
Una nueva capa puente alinea publicaciones matemáticas con pruebas formales, midiendo la cobertura de formalización de cada artículo.
Una nueva capa puente alinea publicaciones matemáticas con pruebas formales, midiendo la cobertura de formalización de cada artículo.